XM\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$P$:$\mathbb{P}$\{i\}. Dec($P$)